Better Slicing of Programs with Jumps and Switches
نویسندگان
چکیده
Program slicing is an important operation that can be used as the basis for programming tools that help programmers understand, debug, maintain, and test their code. This paper extends previous work on program slicing by providing a new definition of “correct” slices, by introducing a representation for C-style switch statements, and by defining a new way to compute control dependences and to slice a programdependence graph so as to compute more precise slices of programs that include jumps and switches. Experimental results show that the new approach to slicing can sometimes lead to a significant improvement in slice precision.
منابع مشابه
MODELLING AND ANALYSIS OF A DISCRETE-TIME PRIORITY QUEUING COMPUTER NETWORK WITH PRIORITY JUMPS USING PROBABILITY GENERATING FUNCTIONS
Priority queues have a great importance in the study of computer communication networks in which different types of traffic require different quality of service standards. The discrete-time non-preemptive priority queuing model with priority jumps is proposed in this paper. On the basis of probability generating functions mean system contents and mean queuing delay characteristics are obtained....
متن کاملIdentifying the Behavioral Difference using
The programmer has to understand the behavior of two similar programs and then identify the execution difference which produces difference in output. When two similar programs are executed under two different environments which shows different behavior in output. The main difference exists in the program behavior is due to two different types of input. This paper proposes differential slicing b...
متن کاملProgram Slicing in Understanding of Large Programs
Program slicing transforms a large program into a smaller one that contains only statements relevant to the computation of a given function. It has been shown that program slicing can be useful in program understanding. Traditionally, program slices are represented in the textual form. Although slicing does narrow the size of the program, the textual representation of a slice does not provide m...
متن کاملA State-Based Model Slicing: A Survey
Program slicing is a source code analysis and manipulation technique, in which a subprogram is identified based on a user-specified slicing criterion. The criterion captures the point of interest within the program, while the process of slicing consists of following dependencies to locate those parts of the program that may affect the slicing criterion [Weiser 1979]. Some flavours of slicing me...
متن کاملOptimal Placement of Remote Control Switches in Radial Distribution Network for Reliability Improvement using Particle Swarm Optimization with Sine Cosine Acceleration Coefficients
Abstract: One of the equipment that can help improve distribution system status today and reduce the cost of fault time is remote control switches (RCS). Finding the optimal location and number of these switches in the distribution system can be modeled with various objective functions as a nonlinear optimization problem to improve system reliability and cost. In this article, a particle swarm ...
متن کامل